document.write ('ok
##882347 (9. november 2011)

');