You are configuring a static IP address on a Windows system and realize the netmask is written as "/25," what is the proper way to input this into the network configuration for this system?