"; $_SESSION['val'] = $sesval; ?>