document.write (" 12136 ");