document.write ("6442 ");