document.write (" 12489 ");