document.write (" 12285 ");