document.write (" 9143 ");