document.write (" 3112 ");