document.write ("
 10094 

");