document.write ("42493");