document.write (" 6342 ");