<?php
session_start();
$_SESSION['user_os']="desktop";
echo "<script>document.location.href='index.php';</script>\n";
?>