// global variable
const basicToolType = document.getElementById("basic_tool_type")
const basicToolId = document.getElementById("basic_tool_id")
const platformName = document.getElementById("platform_name")
const userName = document.getElementById("user_name")
const dangerLevel = document.getElementById("danger_level")
const userPassword = document.getElementById("user_password")
const remark = document.getElementById("remark")