document.write (" 12074 ");