document.write (" 12274 ");