document.write ("6392 ");