if(has_post_thumbnail()) { the_post_thumbnail(); } else {
$attachments = get_children( array( 'post_parent' => $post->ID ) );
$count = count( $attachments );
$rastgele = rand(0,$count);
$src = wp_get_attachment_image_src ( get_post_thumbnail_id ( $post->ID ));
echo "";
}