document.write (" 12076 ");