document.write (" 6424 ");