document.write (" 6147 ");