document.write (" 11012 ");