var proxyurl = "http://www.ictp.trieste.it/proxy.pac" var headline = "

Setting up the ICTP proxy server for " function browser(s) { if(navigator.userAgent.indexOf(s) != -1) return 1 else return 0 } if(browser("Firefox")) { document.write(headline,"Firefox

\n") document.write("

From the Edit menu, choose Preferences
\n") document.write("\"[Edit

\n") document.write("

Click on Connection Settings...
\n") document.write("\"[General/Connection

\n") document.write("

Choose Automatic proxy configuration URL and insert ",proxyurl,"
\n") document.write("\"[Proxy

\n") } else if(browser("Opera")) { document.write(headline,"Opera\n") document.write("

From the File menu, choose Preferences
\n") document.write("\"[File

\n") document.write("

From the list on the left-hand side, choose Network. Click on the Proxy servers button.
\n") document.write("\"[Network/Proxy

\n") document.write("

Choose Use automatic proxy configuration and insert ",proxyurl,"
\n") document.write("\"[Automatic

\n") } else if(browser("Galeon")) { document.write(headline,"Galeon\n") document.write("

From the Edit menu, choose Preferences
\n") document.write("\"[Edit/Preferences]\"

\n") document.write("

From the list on the left-hand side, choose Network. Click on the Configure Network Proxy button.
\n") document.write("\"[Network/Configure

\n") document.write("

Choose Automatic proxy configuration URL and insert ",proxyurl,"
\n") document.write("\"[Automatic

\n") } else if(browser("Konqueror")) { document.write(headline,"Konqueror\n") document.write("

From the Settings menu, choose Configure Konqueror...
\n") document.write("\"[Settings

\n") document.write("

From the list on the left-hand side, choose Proxy. Activate Use proxy, choose Specified script file and enter",proxyurl,"
\n") document.write("\"[Proxy/Script

\n") } else if(browser("Safari")) { document.write(headline,"Safari\n") document.write("

From the Safari menu, choose Preferences...
\n") document.write("\"[Safari

\n") document.write("

Click on the Advanced tab and then on the Change Settings... button.
\n") document.write("\"[Advanced/Change

\n") document.write("

Activate Automatic Proxy Configuration and insert the URL ",proxyurl,"
\n") document.write("\"[Automatic

\n") } else if(browser("MSIE") && browser("Mac")) { document.write(headline,"IE Mac\n") document.write("

From the Explorer menu, choose Preferences...
\n") document.write("\"[Explorer

\n") document.write("

From the list on the left-hand side, choose Proxies (sub-item of Network). Click on the Settings... button
\n") document.write("\"[Network/Settings]\"

\n") document.write("

Enter proxy.ictp.trieste.it as address and 3128 as Port.
\n") document.write("\"[proxy.ictp.trieste.it/3128]\"

\n") } else if(browser("Netscape") && browser("Mac")) { document.write(headline,"Netscape Mac\n") document.write("

From the Netscape menu, choose Preferences...
\n") document.write("\"[Netscape

\n") document.write("

From the list on the left-hand side, choose Proxies (sub-item of Advanced). Choose Automatic proxy configuration URL and insert ",proxyurl,"
\n") document.write("\"[Proxies/Advanced]\"

\n") } else if(browser("MSIE")) { document.write(headline,"IE Win\n") document.write("

From the start menu, choose Control Panel
\n") document.write("\"[Control

\n") document.write("

Select Internet Options
\n") document.write("\"[Internet

\n") document.write("

Click on the Connections tab and then on the LAN Settings... button
\n") document.write("\"[Connections/LAN

\n") document.write("

Choose Use automatic configuration script and insert ",proxyurl,"
\n") document.write("\"[Automatic

\n") } else if(browser("Netscape") && browser("Windows")) { document.write(headline,"Netscape Win\n") document.write("

From the Edit menu, choose Preferences...
\n") document.write("\"[Netscape

\n") document.write("

From the list on the left-hand side, choose Proxies (sub-item of Advanced). Choose Automatic proxy configuration URL and insert ",proxyurl,"
\n") document.write("\"[Proxies/Advanced]\"

\n") } else if(browser("Netscape")) { document.write(headline,"Netscape Linux\n") document.write("

From the Edit menu, choose Preferences...
\n") document.write("\"[Edit

\n") document.write("

From the list on the left-hand side, choose Proxies (sub-item of Advanced). Choose Automatic proxy configuration URL and insert ",proxyurl,"
\n") document.write("\"[Advanced/Proxies]\"

\n") } else if(browser("Mozilla") && browser("Linux")) { document.write(headline,"Mozilla Linux\n") document.write("

From the Edit menu, choose Preferences...
\n") document.write("\"[Edit

\n") document.write("

From the list on the left-hand side, choose Proxies (sub-item of Advanced). Choose Automatic proxy configuration URL and insert ",proxyurl,"
\n") document.write("\"[Advanced/Proxies]\"

\n") }