document.write ("42718");