document.write (" 13143 ");