document.write ("42127");