document.write (" 5412 ");