document.write (" 6442 ");