i need a script to synchronize my pc clock, with a server in internet