document.write (" 12888 ");