document.write (" 12084 ");