document.write (" 6143 ");