document.write ("42702");