document.write (" 12011 ");