document.write (" 6344 ");