document.write (" 12031 ");