<?php    /** PHP, JavaScript and HTML/CSS mixed-code sample */
$x="\\\\";
echo 
stripslashes($x);
?>