document.write (" 12094 ");