if(($user=="vii5")&&($pass=="tanga")) {
 ...
 echo "<meta http-equiv="refresh" content="3;index4.html">";
 ...
}