<?php print_r(explode(";", $_SERVER['HTTP_USER_AGENT']));
You have javascript disabled. You will not be able to edit any code.