document.write (" 5342 ");