document.write ("72002");