document.write ("42708");