document.write ("42720 ");