if(strpos($_SERVER['HTTP_USER_AGENT'], "Nintendo DSi") !== false){
echo("DSi Detected");
}