document.write (" 5212 ");