document.write (" 13212 ");