document.write (" 12284 ");